$\forall$$k$:$\mathbb{N}$, $p$:FinProbSpace, $n$:$\mathbb{N}$, $X$:(\{0..$k$$^{-}$\}$\rightarrow$RandomVariable($p$;$n$)).
\\[0ex]E($n$;$\lambda$$s$.$\Sigma$0 $\leq$ $i$ $<$ $k$. $X$($i$,$s$)) = $\Sigma$0 $\leq$ $i$ $<$ $k$. E($n$;$X$($i$)) $\in$ $\mathbb{Q}$